Fantechi, B: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Validation process for railway interlocking systems

Bonacchi, A., Fantechi, A., Bacherini, S., Tempestini, M.

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.79 MB

english, 2016

2

Chloride stress corrosion cracking of precipitation hardening S.S. impellers in centrifugal compressor. Laboratory investigations and corrective actions

F. Fantechi, M. Innocenti

Journal:

Engineering Failure Analysis

Year:

2001

Language:

english

File:

PDF, 3.15 MB

english, 2001

3

The intrinsic normal cone

K. Behrend, B. Fantechi

Journal:

Inventiones mathematicae

Year:

1997

Language:

english

File:

PDF, 384 KB

english, 1997

4

A Formal Verification Environment for Railway Signaling System Design

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano

Journal:

Formal Methods in System Design

Year:

1998

Language:

english

File:

PDF, 316 KB

english, 1998

5

Smooth toric Deligne-Mumford stacks

Fantechi, Barbara, Mann, Etienne, Nironi, Fabio

Journal:

Journal für die reine und angewandte Mathematik (Crelles Journal)

Year:

2010

Language:

english

File:

PDF, 415 KB

english, 2010

6

Surface Charge and Coating of CoFe 2 O 4 Nanoparticles: Evidence of Preserved Magnetic and Electronic Properties

Nappini, Silvia, Magnano, Elena, Bondino, Federica, Píš, Igor, Barla, Alessandro, Fantechi, Elvira, Pineider, Francesco, Sangregorio, Claudio, Vaccari, Lisa, Venturelli, Leonardo, Baglioni, Piero

Journal:

The Journal of Physical Chemistry C

Year:

2015

Language:

english

File:

PDF, 3.06 MB

english, 2015

7

The NA62 Liquid Krypton calorimeter readout module

Ceccucci, A, Fantechi, R, Farthouat, P, Lamanna, G, Ryjov, V

Journal:

Journal of Instrumentation

Year:

2011

Language:

english

File:

PDF, 784 KB

english, 2011

8

First operation of the level-0 trigger of the NA62 liquid krypton calorimeter

Barbanera, M., Bizzarri, M., Bonaiuto, V., Checcucci, B., Cipollone, P., Simone, N. De, Fantechi, R., Federici, L., Fucci, A., Lupi, M., Paoluzzi, G., Papi, A., Salamon, A., Salina, G., Santoni, C., S

Journal:

Journal of Instrumentation

Year:

2015

Language:

english

File:

PDF, 3.30 MB

english, 2015

9

GPU-based low-level trigger system for the standalone reconstruction of the ring-shaped hit patterns in the RICH Cherenkov detector of NA62 experiment

Ammendola, R., Biagioni, A., Chiozzi, S., Cretaro, P., Ramusino, A. Cotta, Lorenzo, S. Di, Fantechi, R., Fiorini, M., Frezza, O., Gianoli, A., Lamanna, G., Cicero, F. Lo, Lonardo, A., Martinelli, M.,

Journal:

Journal of Instrumentation

Year:

2017

Language:

english

File:

PDF, 3.28 MB

english, 2017

10

On the Mechanism of Drug Release from Polysaccharide Hydrogels Cross-Linked with Magnetite Nanoparticles by Applying Alternating Magnetic Fields: the Case of DOXO Delivery

Uva, Marianna, Mencuccini, Lorenzo, Atrei, Andrea, Innocenti, Claudia, Fantechi, Elvira, Sangregorio, Claudio, Maglio, Melania, Fini, Milena, Barbucci, Rolando

Journal:

Year:

2015

Language:

english

File:

PDF, 2.03 MB

english, 2015

11

Obstruction Calculus for Functors of Artin Rings, I

Barbara Fantechi, Marco Manetti

Journal:

Journal of Algebra

Year:

1998

Language:

english

File:

PDF, 340 KB

english, 1998

12

Correction for backscattering and energy resolution in beta spectroscopy by surface barrier detectors

G. Bertolini, F. Cappellani, R. Fantechi, G. Restelli

Journal:

Nuclear Instruments and Methods

Year:

1964

Language:

english

File:

PDF, 216 KB

english, 1964

13

Compositionality and bisimulation: a negative result

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 775 KB

english, 1991

14

Stable Maps and Branch Divisors

B. Fantechi, R. Pandharipande

Journal:

Compositio Mathematica

Year:

2002

Language:

english

File:

PDF, 180 KB

english, 2002

15

Expanded Degenerations and Pairs

Abramovich, Dan, Cadman, Charles, Fantechi, Barbara, Wise, Jonathan

Journal:

Communications in Algebra

Year:

2013

Language:

english

File:

PDF, 515 KB

english, 2013

16

[IEEE 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) - Dresden (2012.03.12-2012.03.16)] 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Batteries and battery management systems for electric vehicles

Brandl, M., Gall, H., Wenger, M., Lorentz, V., Giegerich, M., Baronti, F., Fantechi, G., Fanucci, L., Roncella, R., Saletti, R., Saponara, S., Thaler, A., Cifrain, M., Prochazka, W.

Year:

2012

Language:

english

File:

PDF, 2.07 MB

english, 2012

17

Model-Based Development and Formal Methods in the Railway Industry

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca

Journal:

Year:

2013

Language:

english

File:

PDF, 774 KB

english, 2013

18

Influence of cobalt doping on the hyperthermic efficiency of magnetite nanoparticles

Fantechi, Elvira, Innocenti, Claudia, Albino, Martin, Lottini, Elisabetta, Sangregorio, Claudio

Journal:

Journal of Magnetism and Magnetic Materials

Year:

2015

Language:

english

File:

PDF, 2.04 MB

english, 2015

19

[IEEE IECON 2010 - 36th Annual Conference of IEEE Industrial Electronics - Glendale, AZ, USA (2010.11.7-2010.11.10)] IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society - Enhanced model for Lithium-Polymer cells including temperature effects

Baronti, F., Fantechi, G., Leonardi, E., Roncella, R., Saletti, R.

Year:

2010

Language:

english

File:

PDF, 517 KB

english, 2010

20

Automorphisms and moduli spaces of varieties with ample canonical class via deformations of abelian covers

Fantechi, Barbara, Pardini, Rita

Journal:

Communications in Algebra

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

21

Design, development and characterization of a nanomagnetic system based on iron oxide nanoparticles encapsulated in PLLA-nanospheres

Rescignano, N., González-Alfaro, Y., Fantechi, E., Mannini, M., Innocenti, C., Ruiz-Hitzky, E., Kenny, J.M., Armentano, I.

Journal:

European Polymer Journal

Year:

2015

Language:

english

File:

PDF, 1.86 MB

english, 2015

22

[IEEE 2013 Second International Conference on Future Generation Communication Technology (FGCT) - London, United Kingdom (2013.11.12-2013.11.14)] Second International Conference on Future Generation Communication Technologies (FGCT 2013) - Resource-oriented design towards the convergence of Web-centric and Telecom-centric services

Ambra, Terence, Paganelli, Federica, Fantechi, Alessandro, Giuli, Dino, Mazzi, Lorenzo

Year:

2013

Language:

english

File:

PDF, 249 KB

english, 2013

23

Formal methods for railway control systems

Fantechi, Alessandro, Flammini, Francesco, Gnesi, Stefania

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 84 KB

english, 2014

24

Current Issues in Climate Research || Modelling the Astronomical Theory of Paleoclimates in the Time and Frequency Domain

Ghazi, A., Fantechi, R.

Year:

1985

Language:

english

File:

PDF, 3.02 MB

english, 1985

25

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 5596 || Fighting State Space Explosion: Review and Evaluation

Cofer, Darren, Fantechi, Alessandro

Year:

2009

Language:

english

File:

PDF, 232 KB

english, 2009

26

[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Applying the product lines paradigm to the quantitative analysis of collective adaptive systems

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

27

[IEEE 2014 9th International Conference on the Quality of Information and Communications Technology (QUATIC) - Guimaraes, Portugal (2014.9.23-2014.9.26)] 2014 9th International Conference on the Quality of Information and Communications Technology - Validation of Interlocking Systems by Testing their Models

Bonacchi, Andrea, Fantechi, Alessandro

Year:

2014

Language:

english

File:

PDF, 312 KB

english, 2014

28

Orbifold cohomology for global quotients

G�ttsche, Lothar, Fantechi, Barbara

Journal:

Duke Mathematical Journal

Year:

2003

Language:

english

File:

PDF, 219 KB

english, 2003

29

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 2.70 MB

english, 2016

30

Assessing the in Vitro Cardiotoxicity of Superparamagnetic Ion Oxide Nanoparticles (SPIONs)

Gualdani, Roberta, Guerrini, Andrea, Fantechi, Elvira, Sangregorio, Claudio, Rosa Moncelli, Maria

Journal:

Biophysical Journal

Year:

2016

Language:

english

File:

PDF, 41 KB

english, 2016

31

The NA62 LAV front-end electronics

Antonelli, A, Corradi, G, Moulson, M, Paglia, C, Raggi, M, Spadaro, T, Tagnani, D, Ambrosino, F, Filippo, D Di, Massarotti, P, Napolitano, M, Saracino, G, Angelucci, B, Costantini, F, Fantechi, R, Gal

Journal:

Journal of Instrumentation

Year:

2012

Language:

english

File:

PDF, 1.59 MB

english, 2012

32

The FPGA based Trigger and Data Acquisition system for the CERN NA62 experiment

Angelucci, B, Fantechi, R, Lamanna, G, Pedreschi, E, Piandani, R, Pinzino, J, Sozzi, M, Spinella, F, Venditti, S

Journal:

Journal of Instrumentation

Year:

2014

Language:

english

File:

PDF, 922 KB

english, 2014

33

The NA62 liquid Krypton calorimeter's new readout system

Ceccucci, A, Fantechi, R, Farthouat, P, Lamanna, G, Rouet, J, Ryjov, V, Venditti, S

Journal:

Journal of Instrumentation

Year:

2014

Language:

english

File:

PDF, 988 KB

english, 2014

34

The NA62 Liquid Krypton calorimeter readout architecture

Ceccucci, A., Fantechi, R., Farthouat, P., Ryjov, V., Simone, N. De, Venditti, S.

Journal:

Journal of Instrumentation

Year:

2016

Language:

english

File:

PDF, 1.87 MB

english, 2016

35

Seeded Growth Synthesis of Au–Fe 3 O 4 Heterostructured Nanocrystals: Rational Design and Mechanistic Insights

Fantechi, Elvira, Roca, Alejandro G., Sepúlveda, Borja, Torruella, Pau, Estradé, Sonia, Peiró, Francesca, Coy, Emerson, Jurga, Stefan, Bastús, Neus G., Nogués, Josep, Puntes, Víctor

Journal:

Chemistry of Materials

Year:

2017

Language:

english

File:

PDF, 11.38 MB

english, 2017

36

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

Ferrari, Alessio, Gori, Gloria, Rosadini, Benedetta, Trotta, Iacopo, Bacherini, Stefano, Fantechi, Alessandro, Gnesi, Stefania

Journal:

Empirical Software Engineering

Year:

2018

Language:

english

File:

PDF, 2.69 MB

english, 2018

37

Performance and operation of the calorimetric trigger processor of the NA62 experiment at CERN SPS

Ammendola, R., Barbanera, M., Battista, D., Bizzarri, M., Bonaiuto, V., Ceccucci, A., Checcucci, B., Simone, N. De, Fantechi, R., Federici, L., Fucci, A., Lupi, M., Paoluzzi, G., Papi, A., Pedreschi,

Journal:

Journal of Instrumentation

Year:

2017

Language:

english

File:

PDF, 2.93 MB

english, 2017

38

Development and realization of lithium-ion battery modules for starting applications and traction of off-road electric vehicles

Vellucci, F., Pede, G., D’Annibale, F., Mariani, A., Roncella, R., Saletti, R., Baronti, F., Fantechi, G.

Journal:

World Electric Vehicle Journal

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

39

NEW TYPES OF HIGH QUALITY PEACHES: FLAT PEACHES (P. PERSICA VAR. PLATICARPA) AND GHIACCIO PEACH SERIES WITH LONG ON TREE FRUIT LIFE

Nicotra, A., Conte, L., Moser, L., Fantechi, P.

Journal:

Acta Horticulturae

Year:

2002

Language:

english

File:

PDF, 393 KB

english, 2002

40

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Product line models of large cyber-physical systems

Beek, Maurice H. ter, Fantechi, Alessandro, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 625 KB

english, 2018

41

GPU real-time processing in NA62 trigger system

Ammendola, R., Biagioni, A., Chiozzi, S., Cretaro, P., Di Lorenzo, S., Fantechi, R., Fiorini, M., Frezza, O., Lamanna, G., Lo Cicero, F., Lonardo, A., Martinelli, M., Neri, I., Paolucci, P. S., Pastor

Journal:

Journal of Physics Conference Series

Year:

2017

Language:

english

File:

PDF, 778 KB

english, 2017

42

[IEEE 2018 IEEE 26th International Requirements Engineering Conference (RE) - Banff, AB, Canada (2018.8.20-2018.8.24)] 2018 IEEE 26th International Requirements Engineering Conference (RE) - Requirement Engineering of Software Product Lines: Extracting Variability Using NLP

Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Semini, Laura

Year:

2018

Language:

english

File:

PDF, 140 KB

english, 2018

43

Symmetric obstruction theories and Hilbert schemes of points on threefolds

Behrend, Kai, Fantechi, Barbara

Journal:

Algebra & Number Theory

Year:

2008

Language:

english

File:

PDF, 1.11 MB

english, 2008

44

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - Applying the QuARS tool to detect variability

Fantechi, Alessandro, Gnesi, Stefania, Semini, Laura

Year:

2019

File:

PDF, 1.53 MB

2019

45

Detection of Uterine Leiomyosarcoma Peritoneal Lesions by SPECT/CT and ROLL Technique

Manca, Gianpiero, Garau, Ludovico Maria, Romanini, Antonella, Rubello, Domenico, Nuzzo, Amedeo, Barbarello, Linda, Fantechi, Lorenzo, Colletti, Patrick M., Boggi, Ugo, Volterrani, Duccio

Journal:

Clinical Nuclear Medicine

Year:

2019

File:

PDF, 719 KB

2019

46

[Springer INdAM Series] Birational Geometry and Moduli Spaces Volume 39 ||

Colombo, Elisabetta, Fantechi, Barbara, Frediani, Paola, Iacono, Donatella, Pardini, Rita

Year:

2020

Language:

english

File:

PDF, 4.27 MB

english, 2020

47

Modulation of the magnetic properties of gold-spinel ferrite heterostructured nanocrystals

Fantechi, Elvira, Innocenti, Claudia, Bertoni, Giovanni, Sangregorio, Claudio, Pineider, Francesco

Journal:

Year:

2020

File:

PDF, 2.94 MB

2020

48

The Level-0 calorimetric trigger of the NA62 experiment

Ammendola, R., Barbanera, M., Bizzarri, M., Bonaiuto, V., Ceccucci, A., Checcucci, B., Simone, N. De, Fantechi, R., Federici, L., Fucci, A., Lupi, M., Paoluzzi, G., Papi, A., Piccini, M., Ryjov, V., S

Journal:

Journal of Instrumentation

Year:

2016

File:

PDF, 7.57 MB

2016

49

Performance and advantages of a soft-core based parallel architecture for energy peak detection in the calorimeter Level 0 trigger for the NA62 experiment at CERN

Ammendola, R., Barbanera, M., Bizzarri, M., Bonaiuto, V., Ceccucci, A., Checcucci, B., Simone, N. De, Fantechi, R., Federici, L., Fucci, A., Lupi, M., Paoluzzi, G., Papi, A., Piccini, M., Ryjov, V., S

Journal:

Journal of Instrumentation

Year:

2017

File:

PDF, 1.79 MB

2017

50

Structural, textural and thermal characterization of a confined nanoreactor with phosphorylated catalytic sites grafted onto a halloysite nanotube lumen

GonzÃ¡lez-Rivera, JosÃ©, Spepi, Alessio, Ferrari, Carlo, Longo, Iginio, Rodriguez, Jorge Tovar, Fantechi, Elvira, Innocenti, Claudia, Pineider, Francesco, Vera-RamÃrez, Marco Antonio, TinÃ©, Maria Ro

Journal:

Applied Clay Science

Year:

2020

File:

PDF, 2.02 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски